In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
671	Eidgenössische Technische Hochschule Zürich Programming in Systems[removed]) Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2001-11-20 18:17:37 Instruction set architectures Technology Operating system Computer architecture Computer
672	Eidgenössische Technische Hochschule Zürich Programming in Systems[removed]) Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2001-10-28 19:20:38 Computing platforms Monolithic kernels Mach Operating system Unix Kernel Ring Linux OS-9 Computer architecture Computing Software
673	Understanding TypeScript Gavin Bierman1,? , Mart´ın Abadi2 , and Mads Torgersen2 1 2 Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2014-06-20 19:14:31 Programming language theory Data types Object-oriented programming Lambda calculus Polymorphism Type system JavaScript Subtype polymorphism Type safety Software engineering Computing Type theory
674	J Grid Computing[removed]:213–234 DOI[removed]s10723[removed]Runtime and Programming Support for Memory Adaptation in Scientific Applications via Local Disk and Remote Memory Add to Reading List Source URL: www.climatemodeling.org Language: English - Date: 2007-07-30 16:57:03 Computing Virtual memory Hierarchy Memory hierarchy Paging C dynamic memory allocation Operating system Random-access memory CPU cache Computer memory Memory management Computer hardware
675	ZU064-05-FPR impldtp 15 September 2013 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-09-15 12:12:41 Programming language theory Data types Functional programming Dependently typed programming Logic in computer science Lambda calculus System F Type system Curry–Howard correspondence Software engineering Computing Type theory
676	LENZING CLIENT OVERVIEW Lenzing AG is a global market leader in the production of man-made cellulose fibers with headquarters in Austria, production sites in all major markets as well as a worldwide network of Add to Reading List Source URL: www.efrontlearning.net Language: English - Date: 2014-05-30 14:42:04 PHP programming language Distance education Lenzing AG Lenzing E-learning Educational technology Learning management system Learning Management Workflow Education Learning EFront
677	Eidgenössische Technische Hochschule Zürich Programming in Systems[removed]) Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2001-10-28 17:27:07 Mach Monolithic kernels Computing platforms Operating system Kernel Unix Device driver Ring Linux Computer architecture Computing Software
678	Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-01-09 21:48:48 Virtual machines Programming language implementation Linux Linux kernel Kernel Just-in-time compilation Interpreter Proof-carrying code JIT spraying System software Software Computer architecture
679	1 How to obtain Objective Caml The various programs used in this work are “free” software 1 . They can be found either on the CD-ROM accompanying this work, or by downloading them from the Internet. This is the case Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 OCaml System administration Caml Filesystem Hierarchy Standard Cd Preprocessor Library Read–eval–print loop Camlp4 Computing Software Computer programming
680	Is Worse Really Better? Richard P. Gabriel In 1989 I gave a keynote speech in Europe in which I lightheartedly presented a design philosophy called worse is better, which I contrasted with another called the right thing. Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:56:08 Object-oriented programming Cross-platform software Lisp programming language Smalltalk Common Lisp Object System Object Io Eiffel C++ Software engineering Computer programming Computing

UPDATE